A novel formal analysis method of network survivability based on stochastic process algebra
نویسندگان
چکیده
منابع مشابه
Stochastic Analysis via a Probabilistic Process Algebra
We propose a probabilistic process algebra built on top of a fully parallel calculus. Being strongly inspired by LOTOS, our model allows for multi-party synchronization in process parallel composition. Anyway, departing from LOTOS, it has a non-interleaving, multiset, semantics: Independent actions are performed simultaneously, whereas synchronization is achieved by means of the minimal, implic...
متن کاملA Stochastic Causality-Based Process Algebra
Thi spaperdi scussesstochasti cextensi onsofasi mpl eprocessal gebrai nacausal i ty-based setti ng. Atomi c acti ons are supposed to happen after a del ay that i s deter-mi ned bya stochasti c vari abl e wi th acertai n di stri buti on. Asi mpl e stochasti c type of event structures i s di scussed, restri cti ng the di stri buti on functi ons to be expo-nenti al. Acorrespondi ngoperati onalsema...
متن کاملA Stochastic Process Algebra Based Modelling Tool
The incorporation of time into classical process algebras aiming at the integration of functional design and performance analysis has become very popular recently. There are many ways to include time in process algebras. Current research in this area concentrates mainly on the annotation of actions with exponentially distributed random variables. This allows us to make use of a large repertoire...
متن کاملScalable Analysis of Stochastic Process Algebra Models
The performance modelling of large-scale systems using discrete-state approaches is fundamentally hampered by the well-known problem of state-space explosion, which causes exponential growth of the reachable state space as a function of the number of the components which constitute the model. Because they are mapped onto continuous-time Markov chains (CTMCs), models described in the stochastic ...
متن کاملanalysis of power in the network society
اندیشمندان و صاحب نظران علوم اجتماعی بر این باورند که مرحله تازه ای در تاریخ جوامع بشری اغاز شده است. ویژگیهای این جامعه نو را می توان پدیده هایی از جمله اقتصاد اطلاعاتی جهانی ، هندسه متغیر شبکه ای، فرهنگ مجاز واقعی ، توسعه حیرت انگیز فناوری های دیجیتال، خدمات پیوسته و نیز فشردگی زمان و مکان برشمرد. از سوی دیگر قدرت به عنوان موضوع اصلی علم سیاست جایگاه مهمی در روابط انسانی دارد، قدرت و بازتولید...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tsinghua Science and Technology
سال: 2007
ISSN: 1007-0214
DOI: 10.1016/s1007-0214(07)70105-0